verification of algorithm

[计] 算法验证